Family Relationships between Requirements and Design Specification Methods
نویسندگان
چکیده
منابع مشابه
From Requirements Specification to Design Specification
The aim of program development process is to construct a correct program with respect to its requirements specification. Our paper deals with the first step of this process in the framework of the theory of correct programming. We construct requirements specification institution in terms of algebraic specifications, design specification institution in terms of functional programming and type th...
متن کاملAdvanced Object-Oriented Requirements Specification Methods
treatment is based upon published material as as information publicly accessible at WWW sites. The presentation thus excludes developments of these methods that are internal to the companies that market the technique or method. The techniques and methods are analysed in terms of a framework for requirements specifications that is derived from systems engineering. The framework defines several v...
متن کاملFlow-Based Specification of Time Design Requirements
This paper focuses on design requirements in realtime systems where information is processed to produce a response within a specified time. Nowadays, computer control applications embedded in chips have grown in significance in many aspects of human life. These systems need a high level of reliability to gain the trust of users. Ensuring correctness in the early stages of the design process is ...
متن کاملA Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably elicited from multiple perspectives which overlap, complement and contradict each other. Furthermore, these requirements are generally developed and specified using multiple methods and notations respectively. ...
متن کاملSoftware Specification & Design Methods and Method Engineering
This article summarizes the state of the art in software speci cation & design methods, which assist developers in constructing the models of the problem domain and of the system and in writing requirements and design speci cations. The typical methods such as structured methods and object-oriented methods are summarized. The new discipline called \Method Engineering", engineering for construct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1993
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/36.2.153